Publications of
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Hybrid possibilistic systems with nondeterministic continous evolutions and switching
In : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice – Slovaquie, Vol. 12 N. 1, (electronic medium), 2012.
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
In : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (on line), 2010.
URL : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXIleana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
In : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, pp. 21-28, January 2010.
Abstract URL : http://www.springerlink.com/content/y78373u877564110/
BibTeXErwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, pp. 24-31, June 2007.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Une approche pour réduire la complexité du flot de contrôle dans les programmes C
In : Technique et science informatiques, Hermès, Vol. 21, N. 7, pp. 1009-1032, 2002.
Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
Using Abstract Interpretation Techniques for Static Pointer Analysis
In : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, pp. 47-50, March 1999.
Abstract URL : http://www.irit.fr/publis/APARA/March/208.ps.gz
BibTeXInteropérabilité et granularité : quelques limites de CORBA
In : Calculateurs Parallèles, Hermès, Vol. 10, N. 5, pp. 537-553, 1998.
Jean-Paul Bahsoun, Louis Féraud
Designing Reusable Parallel Software Components
In : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, pp. 73-90, 1994.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification (regular paper)
In : International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelone, 19/02/13-21/02/13, Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves (Eds.), SciTePress, pp. 62-77, February 2013.
URL : http://www.irit.fr/~Sergei.Soloviev/modelsward3-4.pdf – https://oatao.univ-toulouse.fr/12726/
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs and Grammars (regular paper)
In : Philosophy, Mathematics, Linguistics: Aspects of Interaction, Saint-Petersbourg, Russie, 22/05/12-25/05/12, Oleg Prozorov (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, pp. 195-204, May 2012.
URL : http://www.irit.fr/~Sergei.Soloviev/soloviev_phml.pdf
BibTeXIevgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic modeling of a special class of hybrid systems (regular paper)
In : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/11-27/05/11, DMSI, pp. 90-95, May 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper)
In : International scientific conference INFORMATICS’2011, Roznava Slovakia, 16/11/11-18/11/11, Faculty of Electrical Engineering and Informatics, pp. 14-25, November 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper)
In : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/11-12/10/11, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, pp. 20-34, October 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph rewriting (regular paper)
In : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/11-30/06/11, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), EPTCS, (on line), June 2011.
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
In : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, pp. 9-17, April 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker
Modeling programs over complex-named data by term rewriting systems (regular paper)
In : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, Presses universitaires de l’Université Taras Shevchenko, pp. 40-49, October 2010.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper)
In : UML&FM, Rio de Janeiro, 08/12/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, pp. 17-23, December 2009.
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
In : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, pp. 164-177, 2009.
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards interoperability in component based development with a family of DSLs
In : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, pp. 148-163, September 2008.
Abstract URL : http://www.springer.com/computer/programming/book/978-3-540-88029-5
BibTeXAli Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober
Towards a Rigorous Framework for dealing with Domain Specific Language Families
In : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (electronic medium), April 2008 (First Best Paper Award).
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting
In : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/08-12/06/08, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, pp. 398-410, June 2008.
Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud
Modélisation en UML et OCL de langages dédiés
In : Journée KERMETA 2006, Rennes, France, 10/10/06.
Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev
A framework for increasing program design reliability
In : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L’Université Pédagogique d’Etat), pp. 67-70, 2005.
Marjorie Couzinier, Louis Féraud
Formal verification of dynamic UML diagrams using TLA+
In : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, pp. 85-91, June 2005.
Marjorie Couzinier, Louis Féraud
Une approche formelle des diagrammes dynamiques d’UML via TLA+
In : FAC’05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/05-10/03/05.
Raymonde Le Delliou , Nicolas Ploquin, Mariano Belaunde, Reda Bendraou, Louis Féraud
A Model Driven Approach For Information System Migration
In : Workshop on ODP for Entreprise Computing, Monterey Californie Etats Unis, 20/09/04-20/09/04, IEEE Computer society, pp. 90-97, September 2004.
Attribute grammars as tools for model-to-model transformations
In : International Workshop Model Driven Architecture Foundations and Applications, Université de Twente Enshede, 26/06/03-27/06/03, Université de Twente CTIT-03-27, pp. 73-84, June 2003.
An approach of model transformation based on attribute grammars
In : 9th international Conference on Object Oriented Information Systems, Geneve, 02/09/03-05/09/03, Springer Verlag (LNCS 2817), pp. 412-423, September 2003.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek
Extending OCL for verifying UML models consistency
In : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language “UML” 2002 “Modelling Languages, Concepts and Tools”, Dresden, Allemagne, 01/10/02, Ludwik Kuzniarz – Gianna Reggio – Jean-Louis Sourrouille – Zbigniew Huzar, pp. 75-91, October 2002.
Désenvoûter le numérique
In : Journées PRESCOT, Toulouse, .
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan
Modélisation et transformations de données
In : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois
Data Design and Transformation
In : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/00-26/07/00, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, pp. 587-592, July 2000.
Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé
Using Abstract Interpretation Technics for Static Pointer Analysis
In : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT’3), San Jose, USA, 03/10/99-07/10/99, Pen-Chung Yew, University of Minnesota, October 1999.
Abstract URL : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
BibTeXInteroperability and granularity : some limits of CORBA
In : Ecole ISYPAR, IRIT-Toulouse, .
Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J-Christophe Sakdavong
Building distributed applications with HECTOR
In : ECOOP’96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, July 1996.
J-Christophe Sakdavong, Jean-Paul Bahsoun, Louis Féraud
A model for designing distributed Object-Oriented Programming
In : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, pp. 200-210, July 1995.
Jean-Paul Bahsoun, Louis Féraud, J Pouilly
Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR
In : Actes des Journées du GDR programamtion, Lille, .
Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner
How could object-oriented concepts and parallelism cohabit?
In : Actes de IEEE ICCL’94, –, .
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.